- алгоритмически неразрешимый
- алгоритмі́чно нерозв'я́зний
Русско-украинский политехнический словарь. 2013.
алгоритмически неразрешимый
Смотреть что такое "алгоритмически неразрешимый" в других словарях:
Формальная арифметика — формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, (прибавление 1) и логические связки (см … Большая советская энциклопедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
